< 1 >
Teoremas de incompletitud
Las dos teoremas de incomplitud de Gödel afirman que declaraciones pueden ser formalmente indecidibles.
Explicación
El primer teorema de incompletitud afirma que cualquier sistema formal que es internamente consistente, contiene declaraciones par ellos no puede demostrarse que son verdadero o falso.
El segundo teorema de incompletitud dice que en un sistema formal no puede probar que es internamente consistente.
Inteligencia artificial
Las teoremas de incompletitud mostrar que inteligencia artificial no es posible porque computadoras son siempre sistemas formal finitos. Probablemente, intelecto humano es también a tal limitado.
HistoriaEn 1930, el matemático austriaco Kurt Gödel formuló estos teoremas. |